communicating sequential process meaning in Chinese
通信顺序进程
Examples
- Addison wesley , 1999 . 10 hoare c a r . communicating sequential processes
这种方法的实际实现通过一个第三代移动通信安全算法进行了验证。 - The off - the - shelf refinements are inspired by the operators of communicating sequential processes and map easily to programs in handel - c a hardware description language
在过去的10年里，人们进行了一些尝试，试图应用bmf方法从功能图抽象描述中生成并行程序。 - 21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985
本文分别在语法和语义层次上对动作精化进行了定义，并证明了这两个层次的动作精化在前述两种等价关系下，关于一种基于完全偏序的指称语义是一致的。